step(ii,ls,tm(s,[ctxm(pi_,idp1,ip,ip_ii,ip_ii),ctxm(pi_,ls,ip,ip_ls,ip_ls)],pri(lst,[pri(lst,[ctxm(pi_,u,i_idp1_ls,il1,il1),ctxm(pi_,dot,n,ss(pi_,in),ss(pi_,cn))]),pri(sig,[pri(lst,[ctxm(pi_,u,i_idp1_ls,il1,il1),ctxm(pi_,dot,n,ss(pi_,in),ss(pi_,cn))]),ctxm(pi_,idp,kM,kM_ii,kM_ii)])]))).
